TAGs: solve step equations